basic
\\[0ex]Comm($T$;${\it op}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$, $y$:$T$. ($x$ ${\it op}$ $y$) = ($y$ ${\it op}$ $x$)